equivalence-defining statement

等价定义叙述